Can Ai Prove Itself Right